N. I. Vavilov, martyr to genetic truth.

From truth to computability I

The recently initiated approach called computability logic is a formal theory of interactive computation. It understands computational problems as games played by a machine against the environment, and uses logical formalism to describe valid principles of computability, with formulas representing computational problems and logical operators standing for operations on computational problems. Th...

Michael Servetus Humanist and Martyr

there are not available the textbooks and reference works summarizing the fundamentals of the field as are found in older and more established sciences. Consequently, this reviewer has found it profitable to keep his copies of Progress in Biophysics near at hand as a general reference work. The present volume is a worthy addition, but it is feared that the price will discourage many individuals...

Apoptosis: It's No Laughing Martyr

Book Review apoptosis may play a role in the pathogenesis of AIDS. relation to the role of apoptosis in AIDS, to be refreshing when compared with other chapters in this and other books where " bald data " is presented and no real at-Apoptosis and the Immune Response. tempt is made to peer into the future and speculate Edited by Christopher D. Gregory. what the next piece and then the next piece...

Should I Believe the Truth ?

1 Introduction It is a platitude that beliefs can be correct or incorrect. The most obvious candidate for belief's correctness condition is truth. This suggests that the following principle holds: (1) For any p: the belief that p is correct if and only if it is true that p Krister Bykvist and Anandi Hattiangadi (hereafter, B&H) argue that (1) might not be platitudinous when 'correct' 'is interp...

Approximation to Truth and Theory of Errors "i~(~